Boolean Laws Digital Electronics